Llistar Títols

S'han trobat 109 ítems

Llistant ítems des de 100 a 109:

  1  2  3  4  5   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 1 juny 2018 A Variant of Higher-Order Anti-Unification
out url icon Recercat 5 juny 2018 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
media icon DUGiMedia 11 juny 2021 Verifobia y proceso: después de todo, aún debemos ser puristas anticuados Riguetti, Gabriel
media icon DUGiMedia 15 febrer 2023 Virtud y desacuerdo profundo en el Derecho Amaya, Amalia
media icon DUGiMedia 31 gener 2024 Ways of Criticising the Inductive Force of an Argument: Some Implications for the Evaluation of Legal Evidence Ihnen, Constanza
media icon DUGiMedia 27 maig 2022 Workshop 4 (WS4): Evidential Reasoning and Cognitive Bias Arena, Federico J. ; Lidén, Moa ; Duce, Mauricio ; Benforado, Adam ; Páez, Andrés
out url icon Recercat A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert
doc icon DUGiDocs 2008 A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert
  1  2  3  4  5   

Matèries

Autors